Index of /eos/users/d/dahennin/

      Name                   Last modified     Size  Description


[DIR]   Parent Directory       14-Oct-95 03:31      -  
[   ] Personal                                    -  
[   ] Projects                                    -  
[   ] bin                                         -  
[   ] desktop                                     -  
[   ] dotfiles                                    -  
[   ] genjuro                                     -  
[   ] include                                     -  
[DIR] info/                  20-Dec-95 11:42      -  
[   ] lib                                         -  
[   ] man                                         -  
[DIR] sounds/                20-Nov-95 05:14      -  
[   ] src                                         -  
[   ] tmp                                         -  
[   ] work                                        -